2.2.3 Integrals 201 to 300

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

293 293 289 0 0 641 0 0 -1

N.S.

1 1.00 0.99 0.00 0.00 2.19 0.00 0.00 -0.00

time (sec)

N/A 0.255 0.851 0.005 0.000 0.411 0.000 0.000 0.000

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

223 223 220 0 0 535 0 0 -1

N.S.

1 1.00 0.99 0.00 0.00 2.40 0.00 0.00 -0.00

time (sec)

N/A 0.140 0.638 0.006 0.000 0.433 0.000 0.000 0.000

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

204 204 194 0 0 451 0 0 -1

N.S.

1 1.00 0.95 0.00 0.00 2.21 0.00 0.00 -0.00

time (sec)

N/A 0.124 0.527 0.005 0.000 0.394 0.000 0.000 0.000

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

150 150 140 0 0 361 0 172 223

N.S.

1 1.00 0.93 0.00 0.00 2.41 0.00 1.15 1.49

time (sec)

N/A 0.080 0.379 0.005 0.000 0.405 0.000 3.653 1.575

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

124 124 110 0 0 297 0 135 115

N.S.

1 1.00 0.89 0.00 0.00 2.40 0.00 1.09 0.93

time (sec)

N/A 0.058 0.308 0.004 0.000 0.392 0.000 3.461 1.444

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

155 155 143 0 0 727 0 0 -1

N.S.

1 1.00 0.92 0.00 0.00 4.69 0.00 0.00 -0.01

time (sec)

N/A 0.120 0.486 0.007 0.000 0.479 0.000 0.000 0.000

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

150 150 131 0 0 713 0 0 -1

N.S.

1 1.00 0.87 0.00 0.00 4.75 0.00 0.00 -0.01

time (sec)

N/A 0.116 0.488 0.004 0.000 0.452 0.000 0.000 0.000

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

151 151 131 0 0 713 0 0 -1

N.S.

1 1.00 0.87 0.00 0.00 4.72 0.00 0.00 -0.01

time (sec)

N/A 0.110 0.511 0.004 0.000 0.443 0.000 0.000 0.000

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

163 163 148 0 0 771 0 0 -1

N.S.

1 1.00 0.91 0.00 0.00 4.73 0.00 0.00 -0.01

time (sec)

N/A 0.122 0.701 0.003 0.000 0.487 0.000 0.000 0.000

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

133 133 118 0 0 319 0 0 -1

N.S.

1 1.00 0.89 0.00 0.00 2.40 0.00 0.00 -0.01

time (sec)

N/A 0.075 0.640 0.004 0.000 0.425 0.000 0.000 0.000

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

162 162 160 0 0 383 0 0 -1

N.S.

1 1.00 0.99 0.00 0.00 2.36 0.00 0.00 -0.01

time (sec)

N/A 0.099 0.950 0.004 0.000 0.465 0.000 0.000 0.000

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

216 216 201 0 0 473 0 0 -1

N.S.

1 1.00 0.93 0.00 0.00 2.19 0.00 0.00 -0.00

time (sec)

N/A 0.138 1.322 0.005 0.000 0.549 0.000 0.000 0.000

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

255 255 244 0 0 557 0 0 -1

N.S.

1 1.00 0.96 0.00 0.00 2.18 0.00 0.00 -0.00

time (sec)

N/A 0.207 1.539 0.006 0.000 0.651 0.000 0.000 0.000

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

141 141 453 0 0 0 0 0 -1

N.S.

1 1.00 3.21 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.094 10.562 0.004 0.000 0.000 0.000 0.000 0.000

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

141 141 410 0 0 0 0 0 -1

N.S.

1 1.00 2.91 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.066 10.462 0.003 0.000 0.000 0.000 0.000 0.000

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

136 136 408 0 0 0 0 0 -1

N.S.

1 1.00 3.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.049 10.432 0.005 0.000 0.000 0.000 0.000 0.000

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

139 139 379 0 0 0 0 0 -1

N.S.

1 1.00 2.73 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.087 10.328 0.005 0.000 0.000 0.000 0.000 0.000

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

141 141 379 0 0 0 0 0 -1

N.S.

1 1.00 2.69 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.088 10.326 0.005 0.000 0.000 0.000 0.000 0.000

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

171 171 138 0 0 303 0 0 -1

N.S.

1 1.00 0.81 0.00 0.00 1.77 0.00 0.00 -0.01

time (sec)

N/A 0.145 0.255 0.009 0.000 0.385 0.000 0.000 0.000

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

121 121 101 0 0 241 0 0 -1

N.S.

1 1.00 0.83 0.00 0.00 1.99 0.00 0.00 -0.01

time (sec)

N/A 0.073 0.216 0.008 0.000 0.404 0.000 0.000 0.000

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 91 0 0 203 0 0 -1

N.S.

1 1.00 0.88 0.00 0.00 1.95 0.00 0.00 -0.01

time (sec)

N/A 0.059 0.179 0.006 0.000 0.396 0.000 0.000 0.000

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

68 68 70 0 0 161 0 61 55

N.S.

1 1.00 1.03 0.00 0.00 2.37 0.00 0.90 0.81

time (sec)

N/A 0.035 0.115 0.006 0.000 0.428 0.000 3.866 1.492

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

43 43 41 0 0 118 0 76 34

N.S.

1 1.00 0.95 0.00 0.00 2.74 0.00 1.77 0.79

time (sec)

N/A 0.024 0.076 0.007 0.000 0.363 0.000 3.662 1.575

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

44 44 44 0 0 124 0 0 36

N.S.

1 1.00 1.00 0.00 0.00 2.82 0.00 0.00 0.82

time (sec)

N/A 0.025 0.073 0.007 0.000 0.362 0.000 0.000 1.571

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

72 72 72 0 0 179 0 0 56

N.S.

1 1.00 1.00 0.00 0.00 2.49 0.00 0.00 0.78

time (sec)

N/A 0.040 0.135 0.005 0.000 0.389 0.000 0.000 1.560

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 91 0 0 221 0 0 -1

N.S.

1 1.00 0.84 0.00 0.00 2.05 0.00 0.00 -0.01

time (sec)

N/A 0.068 0.222 0.008 0.000 0.382 0.000 0.000 0.000

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

145 145 110 0 0 263 0 0 -1

N.S.

1 1.00 0.76 0.00 0.00 1.81 0.00 0.00 -0.01

time (sec)

N/A 0.110 0.346 0.007 0.000 0.408 0.000 0.000 0.000

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

192 192 141 0 0 327 0 0 -1

N.S.

1 1.00 0.73 0.00 0.00 1.70 0.00 0.00 -0.01

time (sec)

N/A 0.158 0.470 0.007 0.000 0.484 0.000 0.000 0.000

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

140 140 168 0 0 0 0 0 -1

N.S.

1 1.00 1.20 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.085 10.068 0.008 0.000 0.000 0.000 0.000 0.000

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

140 140 168 0 0 0 0 0 -1

N.S.

1 1.00 1.20 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.065 10.072 0.005 0.000 0.000 0.000 0.000 0.000

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

135 135 163 0 0 0 0 0 -1

N.S.

1 1.00 1.21 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.051 10.049 0.006 0.000 0.000 0.000 0.000 0.000

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

138 138 343 0 0 0 0 0 -1

N.S.

1 1.00 2.49 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.084 10.228 0.005 0.000 0.000 0.000 0.000 0.000

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 342 0 0 0 0 0 -1

N.S.

1 1.00 2.44 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.088 10.203 0.005 0.000 0.000 0.000 0.000 0.000

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

195 195 170 0 0 591 0 0 -1

N.S.

1 1.00 0.87 0.00 0.00 3.03 0.00 0.00 -0.01

time (sec)

N/A 0.161 0.672 0.006 0.000 0.423 0.000 0.000 0.000

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 131 0 0 459 0 0 -1

N.S.

1 1.00 0.96 0.00 0.00 3.35 0.00 0.00 -0.01

time (sec)

N/A 0.081 0.450 0.005 0.000 0.462 0.000 0.000 0.000

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

120 120 97 0 0 387 0 0 84

N.S.

1 1.00 0.81 0.00 0.00 3.22 0.00 0.00 0.70

time (sec)

N/A 0.066 0.376 0.007 0.000 0.391 0.000 0.000 1.658

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

39 39 39 38 0 68 0 45 38

N.S.

1 1.00 1.00 0.97 0.00 1.74 0.00 1.15 0.97

time (sec)

N/A 0.022 0.251 0.026 0.000 0.360 0.000 2.978 1.429

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

38 38 38 37 0 67 0 45 37

N.S.

1 1.00 1.00 0.97 0.00 1.76 0.00 1.18 0.97

time (sec)

N/A 0.017 0.252 0.026 0.000 0.367 0.000 2.958 1.370

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

92 92 131 0 0 389 0 0 -1

N.S.

1 1.00 1.42 0.00 0.00 4.23 0.00 0.00 -0.01

time (sec)

N/A 0.055 0.416 0.007 0.000 0.428 0.000 0.000 0.000

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

142 142 125 0 0 485 0 0 -1

N.S.

1 1.00 0.88 0.00 0.00 3.42 0.00 0.00 -0.01

time (sec)

N/A 0.089 0.534 0.004 0.000 0.397 0.000 0.000 0.000

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

198 198 166 0 0 615 0 0 -1

N.S.

1 1.00 0.84 0.00 0.00 3.11 0.00 0.00 -0.01

time (sec)

N/A 0.145 0.720 0.006 0.000 0.513 0.000 0.000 0.000

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F(-2) A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

256 256 210 0 0 705 0 0 -1

N.S.

1 1.00 0.82 0.00 0.00 2.75 0.00 0.00 -0.00

time (sec)

N/A 0.199 0.951 0.006 0.000 0.547 0.000 0.000 0.000

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

143 143 340 0 0 0 0 0 -1

N.S.

1 1.00 2.38 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.093 10.209 0.007 0.000 0.000 0.000 0.000 0.000

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

143 143 362 0 0 0 0 0 -1

N.S.

1 1.00 2.53 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.065 10.338 0.006 0.000 0.000 0.000 0.000 0.000

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

138 138 359 0 0 0 0 0 -1

N.S.

1 1.00 2.60 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.048 10.323 0.004 0.000 0.000 0.000 0.000 0.000

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

141 141 407 0 0 0 0 0 -1

N.S.

1 1.00 2.89 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.086 10.498 0.006 0.000 0.000 0.000 0.000 0.000

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

143 143 405 0 0 0 0 0 -1

N.S.

1 1.00 2.83 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.086 10.444 0.005 0.000 0.000 0.000 0.000 0.000

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 70 301 110 241 1459 449 260

N.S.

1 1.00 0.69 2.98 1.09 2.39 14.45 4.45 2.57

time (sec)

N/A 0.040 0.544 0.014 0.341 0.411 0.807 4.338 1.524

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

52 52 35 51 50 71 299 119 89

N.S.

1 1.00 0.67 0.98 0.96 1.37 5.75 2.29 1.71

time (sec)

N/A 0.013 0.045 0.018 0.292 0.358 0.312 3.255 1.358

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

173 173 84 0 0 0 0 0 -1

N.S.

1 1.00 0.49 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.165 0.097 0.020 0.000 0.000 0.000 0.000 0.000

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

315 315 78 0 0 0 0 0 -1

N.S.

1 1.00 0.25 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.477 0.151 0.007 0.000 0.000 0.000 0.000 0.000

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

158 158 357 0 0 0 0 0 -1

N.S.

1 1.00 2.26 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.105 0.778 0.006 0.000 0.000 0.000 0.000 0.000

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

157 157 181 0 0 0 0 0 -1

N.S.

1 1.00 1.15 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.090 0.502 0.006 0.000 0.000 0.000 0.000 0.000

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

157 157 181 0 0 0 0 0 -1

N.S.

1 1.00 1.15 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.093 0.706 0.008 0.000 0.000 0.000 0.000 0.000

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

160 160 221 0 0 0 0 0 -1

N.S.

1 1.00 1.38 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.100 5.784 0.006 0.000 0.000 0.000 0.000 0.000

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

155 155 179 0 0 0 0 0 -1

N.S.

1 1.00 1.15 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.069 0.185 0.027 0.000 0.000 0.000 0.000 0.000

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

224 224 162 0 0 0 0 0 -1

N.S.

1 1.00 0.72 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.172 0.325 0.007 0.000 0.000 0.000 0.000 0.000

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

161 161 162 0 0 0 0 0 -1

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.084 0.252 0.019 0.000 0.000 0.000 0.000 0.000

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

130 130 138 0 0 0 0 0 -1

N.S.

1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.053 0.150 0.012 0.000 0.000 0.000 0.000 0.000

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

138 138 166 0 0 0 0 0 -1

N.S.

1 1.00 1.20 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.066 0.383 0.014 0.000 0.000 0.000 0.000 0.000

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

138 138 166 0 0 0 0 0 -1

N.S.

1 1.00 1.20 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.060 0.403 0.013 0.000 0.000 0.000 0.000 0.000

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

138 138 166 0 0 0 0 0 -1

N.S.

1 1.00 1.20 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.050 0.401 0.009 0.000 0.000 0.000 0.000 0.000

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

133 133 161 0 0 0 0 0 -1

N.S.

1 1.00 1.21 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.050 0.114 0.007 0.000 0.000 0.000 0.000 0.000

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

157 157 157 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.104 0.209 0.006 0.000 0.000 0.000 0.000 0.000

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

136 136 164 0 0 0 0 0 -1

N.S.

1 1.00 1.21 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.063 0.388 0.011 0.000 0.000 0.000 0.000 0.000

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

138 138 166 0 0 0 0 0 -1

N.S.

1 1.00 1.20 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.063 0.404 0.013 0.000 0.000 0.000 0.000 0.000

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

164 164 162 0 0 0 0 0 -1

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.090 0.256 0.014 0.000 0.000 0.000 0.000 0.000

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

138 138 166 0 0 0 0 0 -1

N.S.

1 1.00 1.20 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.060 0.414 0.017 0.000 0.000 0.000 0.000 0.000

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

138 138 166 0 0 0 0 0 -1

N.S.

1 1.00 1.20 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.062 0.398 0.019 0.000 0.000 0.000 0.000 0.000

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

168 168 164 0 0 0 0 0 -1

N.S.

1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.091 0.287 0.020 0.000 0.000 0.000 0.000 0.000

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

32 32 34 0 0 0 0 0 -1

N.S.

1 1.00 1.06 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.006 0.024 0.006 0.000 0.000 0.000 0.000 0.000

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

30 30 24 25 24 31 22 24 25

N.S.

1 1.00 0.80 0.83 0.80 1.03 0.73 0.80 0.83

time (sec)

N/A 0.009 0.011 0.020 0.520 0.333 0.041 3.174 0.047

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 22 18 19 18 23 15 18 18

N.S.

1 1.00 0.82 0.86 0.82 1.05 0.68 0.82 0.82

time (sec)

N/A 0.007 0.005 0.016 0.289 0.330 0.033 3.737 1.315

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 23 20 19 24 15 19 21

N.S.

1 1.00 1.00 0.87 0.83 1.04 0.65 0.83 0.91

time (sec)

N/A 0.006 0.007 0.017 0.507 0.341 0.040 4.722 1.365

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

11 11 11 10 9 9 8 9 11

N.S.

1 1.00 1.00 0.91 0.82 0.82 0.73 0.82 1.00

time (sec)

N/A 0.002 0.002 0.013 0.282 0.345 0.027 4.345 0.018

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 20 20 19 23 15 19 20

N.S.

1 1.00 0.87 0.87 0.83 1.00 0.65 0.83 0.87

time (sec)

N/A 0.005 0.004 0.017 0.504 0.327 0.038 3.600 0.026

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 24 24 21 24 32 19 29 20

N.S.

1 1.00 1.00 0.88 1.00 1.33 0.79 1.21 0.83

time (sec)

N/A 0.009 0.007 0.037 0.306 0.332 0.050 3.690 0.044

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

30 30 30 25 25 31 26 25 25

N.S.

1 1.00 1.00 0.83 0.83 1.03 0.87 0.83 0.83

time (sec)

N/A 0.009 0.008 0.023 0.555 0.333 0.052 3.837 0.040

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 33 33 28 33 44 31 33 31

N.S.

1 1.00 1.00 0.85 1.00 1.33 0.94 1.00 0.94

time (sec)

N/A 0.011 0.008 0.023 0.333 0.337 0.060 3.248 0.054

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 33 28 30 36 29 31 30

N.S.

1 1.00 0.89 0.76 0.81 0.97 0.78 0.84 0.81

time (sec)

N/A 0.010 0.008 0.028 0.518 0.331 0.062 4.481 0.046

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 94 64 83 137 90 83 45

N.S.

1 1.00 0.90 0.62 0.80 1.32 0.87 0.80 0.43

time (sec)

N/A 0.036 0.046 0.037 0.512 0.353 0.069 5.039 1.369

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

99 99 93 65 84 134 90 84 47

N.S.

1 1.00 0.94 0.66 0.85 1.35 0.91 0.85 0.47

time (sec)

N/A 0.034 0.040 0.017 0.507 0.351 0.067 6.492 1.326

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

97 97 90 63 82 131 82 82 45

N.S.

1 1.00 0.93 0.65 0.85 1.35 0.85 0.85 0.46

time (sec)

N/A 0.035 0.043 0.018 0.502 0.368 0.061 6.860 0.082

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

99 99 92 65 84 133 83 84 46

N.S.

1 1.00 0.93 0.66 0.85 1.34 0.84 0.85 0.46

time (sec)

N/A 0.037 0.033 0.014 0.509 0.387 0.063 4.338 0.045

Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

97 97 91 63 82 132 88 82 44

N.S.

1 1.00 0.94 0.65 0.85 1.36 0.91 0.85 0.45

time (sec)

N/A 0.035 0.032 0.015 0.505 0.349 0.065 4.099 1.305

Problem 286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

106 106 98 70 88 135 97 88 49

N.S.

1 1.00 0.92 0.66 0.83 1.27 0.92 0.83 0.46

time (sec)

N/A 0.037 0.047 0.023 0.544 0.346 0.076 2.757 1.314

Problem 287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

106 106 96 68 90 145 99 87 51

N.S.

1 1.00 0.91 0.64 0.85 1.37 0.93 0.82 0.48

time (sec)

N/A 0.037 0.050 0.023 0.526 0.349 0.080 3.307 1.365

Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

113 113 103 75 95 150 102 96 55

N.S.

1 1.00 0.91 0.66 0.84 1.33 0.90 0.85 0.49

time (sec)

N/A 0.038 0.052 0.024 0.514 0.343 0.086 4.309 0.093

Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

113 113 101 73 95 150 102 94 55

N.S.

1 1.00 0.89 0.65 0.84 1.33 0.90 0.83 0.49

time (sec)

N/A 0.040 0.051 0.032 0.500 0.358 0.112 5.635 0.104

Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

30 30 32 0 0 0 0 0 -1

N.S.

1 1.00 1.07 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.004 0.105 0.006 0.000 0.000 0.000 0.000 0.000

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

32 32 39 41 34 46 34 35 26

N.S.

1 1.00 1.22 1.28 1.06 1.44 1.06 1.09 0.81

time (sec)

N/A 0.010 0.016 0.040 0.289 0.339 0.041 3.797 0.047

Problem 292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 26 22 19 18 23 15 19 20

N.S.

1 1.00 0.85 0.73 0.69 0.88 0.58 0.73 0.77

time (sec)

N/A 0.009 0.006 0.016 0.280 0.348 0.033 3.209 0.048

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 33 36 29 40 26 30 21

N.S.

1 1.00 1.32 1.44 1.16 1.60 1.04 1.20 0.84

time (sec)

N/A 0.007 0.008 0.020 0.284 0.347 0.039 3.115 1.269

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

13 13 11 10 9 9 8 9 11

N.S.

1 1.00 0.85 0.77 0.69 0.69 0.62 0.69 0.85

time (sec)

N/A 0.002 0.002 0.014 0.321 0.326 0.037 4.121 0.022

Problem 295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

25 25 33 36 29 40 26 30 21

N.S.

1 1.00 1.32 1.44 1.16 1.60 1.04 1.20 0.84

time (sec)

N/A 0.006 0.006 0.020 0.283 0.335 0.039 4.706 0.035

Problem 296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 28 26 47 24 32 19 30 22

N.S.

1 1.00 0.93 1.68 0.86 1.14 0.68 1.07 0.79

time (sec)

N/A 0.010 0.007 0.029 0.310 0.337 0.045 5.773 0.058

Problem 297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

32 32 41 50 37 54 36 38 26

N.S.

1 1.00 1.28 1.56 1.16 1.69 1.12 1.19 0.81

time (sec)

N/A 0.009 0.012 0.034 0.286 0.341 0.054 5.854 0.044

Problem 298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 35 54 35 50 29 36 32

N.S.

1 1.00 0.95 1.46 0.95 1.35 0.78 0.97 0.86

time (sec)

N/A 0.013 0.009 0.031 0.297 0.362 0.057 5.203 0.052

Problem 299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

39 39 49 55 42 59 41 42 32

N.S.

1 1.00 1.26 1.41 1.08 1.51 1.05 1.08 0.82

time (sec)

N/A 0.011 0.010 0.037 0.335 0.336 0.067 4.970 0.051

Problem 300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 38 43 28 49 32 30 26

N.S.

1 1.00 1.12 1.26 0.82 1.44 0.94 0.88 0.76

time (sec)

N/A 0.006 0.011 0.029 0.515 0.332 0.058 3.649 1.285